• Ihr Warenkorb ist leer.
Zur Kasse

3 Ergebnisse.

Verifizierung sicherheitskritischer Software in der Avionik

Verifizierung sicherheitskritischer Software in der Avionik

Aradhya, Chiranjeevi
Die Absicht dieses Buches ist es, einen Überblick über die Verifikationstechniken zu geben, die zur Verifikation sicherheitskritischer Avionik-Software gemäß DO-178B-Standard eingesetzt werden, wobei der Schwerpunkt auf dem Testen der Software-Einheit liegt. Eine vollständige Software-Verifikation umfasst das Testen von Software auf verschiedenen Ebenen / Phasen. Das Ziel des Softwaretests besteht darin, nachzuweisen, dass die Software ihre Anforderungen erfüllt, und auch mit ...

54,50 CHF

DO-178B und CAST-Papiere für die Avionik-Softwareentwicklung

DO-178B und CAST-Papiere für die Avionik-Softwareentwicklung

Aradhya, Chiranjeevi
Die rasche Zunahme des Einsatzes von Software in luftgestützten Systemen und Ausrüstungen, die in Flugzeugen und Triebwerken verwendet werden, führte zu einem Bedarf an industrieweit akzeptierten Richtlinien für die Erfüllung der Lufttüchtigkeitsanforderungen. DO-178B, "Software Considerations in Airborne Systems and Equipment Certification", wurde geschrieben, um diesen Bedarf zu decken. Der Zweck des Dokuments DO-178B ist es, Richtlinien für die Herstellung von ...

54,50 CHF

Embedded Real-Time System und seine Anwendung in der Avionik

Embedded Real-Time System und seine Anwendung in der Avionik

Aradhya, Chiranjeevi
Ein eingebettetes System ist eine Kombination aus Computerhardware und -software - und möglicherweise zusätzlichen mechanischen oder elektronischen Teilen -, die für eine bestimmte Funktion entwickelt wurde. Ein gutes Beispiel ist der Mikrowellenherd. Fast jeder Haushalt verfügt über eine solche, und täglich werden zig Millionen davon benutzt, aber nur sehr wenige Menschen wissen, dass ein Computerprozessor und Software an der Zubereitung ...

54,50 CHF

Ergebnisse anzeigen für